Chapter 2
detailed summary tables of results

 2.1 List of integrals sorted by grade for each CAS
  2.1.1 Rubi
  2.1.2 Mathematica
  2.1.3 Maple
  2.1.4 Maxima
  2.1.5 FriCAS
  2.1.6 Sympy
  2.1.7 Giac
  2.1.8 Mupad
 2.2 Detailed conclusion table per each integral for all CAS systems
 2.3 Detailed conclusion table specific for Rubi results

2.1 List of integrals sorted by grade for each CAS

2.1.1 Rubi

A grade: { 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 65, 66 }

B grade: { }

C grade: { }

F grade: { }

2.1.2 Mathematica

A grade: { 1, 2, 3, 4, 5, 6, 8, 10, 11, 12, 13, 14, 16, 17, 18, 20, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 65, 66 }

B grade: { 7, 19, 33, 44 }

C grade: { 9, 15, 21 }

F grade: { }

2.1.3 Maple

A grade: { 2, 3, 4, 5, 6, 8, 9, 10, 11, 12, 14, 15, 16, 17, 18, 20, 21, 22, 23, 24, 29, 30, 34, 35, 40, 41, 45, 46, 50, 51, 55, 56, 60, 61, 65, 66 }

B grade: { }

C grade: { }

F grade: { 1, 7, 13, 19, 25, 26, 27, 28, 31, 32, 33, 36, 37, 38, 39, 42, 43, 44, 47, 48, 49, 52, 53, 54, 57, 58, 59, 62, 63, 64 }

2.1.4 Maxima

A grade: { 2, 3, 4, 5, 6, 8, 10, 11, 12, 23, 29, 30, 34, 35, 45, 50, 55, 56, 65, 66 }

B grade: { 7, 9, 13, 15, 19, 21, 25, 26, 27, 31, 32, 33, 36, 37, 38, 39, 42, 43, 44, 47, 48, 52, 53, 57, 58, 59, 62, 63, 64 }

C grade: { }

F grade: { 1, 14, 16, 17, 18, 20, 22, 24, 28, 40, 41, 46, 49, 51, 54, 60, 61 }

2.1.5 FriCAS

A grade: { 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 14, 15, 16, 17, 18, 20, 21, 22, 23, 24, 29, 30, 33, 34, 35, 40, 41, 45, 46, 50, 51, 55, 56, 60, 61, 65, 66 }

B grade: { 1, 13, 19, 28, 39, 44 }

C grade: { 49, 54, 59, 64 }

F grade: { 25, 26, 27, 31, 32, 36, 37, 38, 42, 43, 47, 48, 52, 53, 57, 58, 62, 63 }

2.1.6 Sympy

A grade: { 2, 3, 4, 5, 6, 8, 9, 10, 11, 12, 14, 15, 16, 17, 18, 20, 21, 22, 23, 24, 29, 30, 34, 35, 40, 41, 45, 46, 50, 51, 55, 56, 60, 61, 65, 66 }

B grade: { }

C grade: { }

F grade: { 1, 7, 13, 19, 25, 26, 27, 28, 31, 32, 33, 36, 37, 38, 39, 42, 43, 44, 47, 48, 49, 52, 53, 54, 57, 58, 59, 62, 63, 64 }

2.1.7 Giac

A grade: { 2, 3, 4, 5, 6, 8, 9, 10, 11, 12, 14, 15, 16, 17, 18, 20, 21, 22, 23, 24, 29, 30, 34, 35, 40, 41, 45, 46, 50, 51, 55, 56, 60, 61, 65, 66 }

B grade: { }

C grade: { }

F grade: { 1, 7, 13, 19, 25, 26, 27, 28, 31, 32, 33, 36, 37, 38, 39, 42, 43, 44, 47, 48, 49, 52, 53, 54, 57, 58, 59, 62, 63, 64 }

2.1.8 Mupad

A grade: { 2, 4, 5, 6, 8, 10, 11, 12, 14, 16, 17, 18, 20, 22, 23, 24, 29, 30, 34, 35, 40, 41, 45, 46, 50, 51, 55, 56, 60, 61, 65, 66 }

B grade: { 1, 3, 9, 15, 21, 28 }

C grade: { }

F grade: { 7, 13, 19, 25, 26, 27, 31, 32, 33, 36, 37, 38, 39, 42, 43, 44, 47, 48, 49, 52, 53, 54, 57, 58, 59, 62, 63, 64 }

2.2 Detailed conclusion table per each integral for all CAS systems

Detailed conclusion table per each integral is given by table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given just an F.

In this table,the column normalized size is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\)











Problem 1 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A A F F B F F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 73 73 73 0 0 155 0 0 155
normalized size 1 1.00 1.00 0.00 0.00 2.12 0.00 0.00 2.12
time (sec) N/A 0.142 0.043 0.457 0.000 0.549 0.000 0.000 0.440




















Problem 2 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade N/A A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD TBD
size 26 0 0 0 0 0 0 0 -1
normalized size 1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04
time (sec) N/A 0.018 2.030 0.448 0.000 0.572 0.000 0.000 0.000




















Problem 3 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 26 26 26 30 22 31 36 28 26
normalized size 1 1.00 1.00 1.15 0.85 1.19 1.38 1.08 1.00
time (sec) N/A 0.026 0.028 0.014 0.548 0.517 0.159 1.142 0.104




















Problem 4 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade N/A A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD TBD
size 17 0 0 0 0 0 0 0 -1
normalized size 1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.06
time (sec) N/A 0.005 0.776 0.416 0.000 0.442 0.000 0.000 0.000




















Problem 5 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade N/A A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD TBD
size 22 0 0 0 0 0 0 0 -1
normalized size 1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.05
time (sec) N/A 0.019 1.358 0.407 0.000 0.443 0.000 0.000 0.000




















Problem 6 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade N/A A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD TBD
size 24 0 0 0 0 0 0 0 -1
normalized size 1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04
time (sec) N/A 0.019 1.631 0.429 0.000 0.599 0.000 0.000 0.000




















Problem 7 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A B F B A F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 126 126 295 0 398 199 0 0 -1
normalized size 1 1.00 2.34 0.00 3.16 1.58 0.00 0.00 -0.01
time (sec) N/A 0.239 6.550 0.916 1.668 0.579 0.000 0.000 0.000




















Problem 8 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade N/A A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD TBD
size 21 0 0 0 0 0 0 0 -1
normalized size 1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.05
time (sec) N/A 0.023 2.622 0.760 0.000 0.632 0.000 0.000 0.000




















Problem 9 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A C A B A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 51 51 75 72 149 51 65 53 52
normalized size 1 1.00 1.47 1.41 2.92 1.00 1.27 1.04 1.02
time (sec) N/A 0.047 0.196 0.016 0.430 0.582 0.212 0.709 3.237




















Problem 10 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade N/A A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD TBD
size 17 0 0 0 0 0 0 0 -1
normalized size 1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.06
time (sec) N/A 0.005 2.078 0.760 0.000 0.560 0.000 0.000 0.000




















Problem 11 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade N/A A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD TBD
size 21 0 0 0 0 0 0 0 -1
normalized size 1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.05
time (sec) N/A 0.022 8.164 0.814 0.000 0.799 0.000 0.000 0.000




















Problem 12 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade N/A A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD TBD
size 21 0 0 0 0 0 0 0 -1
normalized size 1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.05
time (sec) N/A 0.022 3.755 0.817 0.000 0.557 0.000 0.000 0.000




















Problem 13 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A A F B B F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 122 122 110 0 267 542 0 0 -1
normalized size 1 1.00 0.90 0.00 2.19 4.44 0.00 0.00 -0.01
time (sec) N/A 0.207 1.830 0.908 0.823 0.724 0.000 0.000 0.000




















Problem 14 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade N/A A A A F(-1) A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD TBD
size 21 0 0 0 0 0 0 0 -1
normalized size 1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.05
time (sec) N/A 0.025 3.123 0.860 0.000 0.618 0.000 0.000 0.000




















Problem 15 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A C A B A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 57 57 82 82 143 70 364 86 65
normalized size 1 1.00 1.44 1.44 2.51 1.23 6.39 1.51 1.14
time (sec) N/A 0.078 0.165 0.160 0.986 0.424 0.825 0.640 3.305




















Problem 16 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade N/A A A A F(-1) A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD TBD
size 17 0 0 0 0 0 0 0 -1
normalized size 1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.06
time (sec) N/A 0.005 1.219 0.697 0.000 0.492 0.000 0.000 0.000




















Problem 17 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade N/A A A A F(-1) A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD TBD
size 21 0 0 0 0 0 0 0 -1
normalized size 1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.05
time (sec) N/A 0.025 0.861 0.769 0.000 0.734 0.000 0.000 0.000




















Problem 18 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade N/A A A A F(-1) A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD TBD
size 21 0 0 0 0 0 0 0 -1
normalized size 1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.05
time (sec) N/A 0.024 2.542 0.817 0.000 0.597 0.000 0.000 0.000




















Problem 19 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A B F B B F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 202 202 703 0 1008 806 0 0 -1
normalized size 1 1.00 3.48 0.00 4.99 3.99 0.00 0.00 -0.00
time (sec) N/A 0.314 6.813 1.592 1.261 0.834 0.000 0.000 0.000




















Problem 20 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade N/A A A A F(-1) A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD TBD
size 21 0 0 0 0 0 0 0 -1
normalized size 1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.05
time (sec) N/A 0.025 7.242 1.160 0.000 0.465 0.000 0.000 0.000




















Problem 21 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A C A B A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 94 94 114 140 556 169 1584 159 173
normalized size 1 1.00 1.21 1.49 5.91 1.80 16.85 1.69 1.84
time (sec) N/A 0.129 1.304 0.162 1.409 0.522 1.560 1.419 3.595




















Problem 22 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade N/A A A A F(-1) A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD TBD
size 17 0 0 0 0 0 0 0 -1
normalized size 1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.06
time (sec) N/A 0.005 5.955 1.301 0.000 0.491 0.000 0.000 0.000




















Problem 23 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade N/A A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD TBD
size 21 0 0 0 0 0 0 0 -1
normalized size 1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.05
time (sec) N/A 0.024 9.900 1.435 0.000 0.516 0.000 0.000 0.000




















Problem 24 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade N/A A A A F(-1) A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD TBD
size 21 0 0 0 0 0 0 0 -1
normalized size 1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.05
time (sec) N/A 0.026 7.781 1.564 0.000 0.459 0.000 0.000 0.000




















Problem 25 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A A F B F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 261 261 261 0 937 0 0 0 -1
normalized size 1 1.00 1.00 0.00 3.59 0.00 0.00 0.00 -0.00
time (sec) N/A 0.372 0.085 0.904 0.752 0.467 0.000 0.000 0.000




















Problem 26 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A A F B F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 195 195 195 0 618 0 0 0 -1
normalized size 1 1.00 1.00 0.00 3.17 0.00 0.00 0.00 -0.01
time (sec) N/A 0.275 0.042 0.832 1.010 0.541 0.000 0.000 0.000




















Problem 27 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A A F B F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 135 135 135 0 359 0 0 0 -1
normalized size 1 1.00 1.00 0.00 2.66 0.00 0.00 0.00 -0.01
time (sec) N/A 0.204 0.037 0.834 0.563 0.661 0.000 0.000 0.000




















Problem 28 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A A F F B F F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 66 66 66 0 0 153 0 0 150
normalized size 1 1.00 1.00 0.00 0.00 2.32 0.00 0.00 2.27
time (sec) N/A 0.103 0.025 0.928 0.000 0.652 0.000 0.000 3.588




















Problem 29 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade N/A A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD TBD
size 24 0 0 0 0 0 0 0 -1
normalized size 1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04
time (sec) N/A 0.019 2.619 0.934 0.000 0.514 0.000 0.000 0.000




















Problem 30 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade N/A A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD TBD
size 26 0 0 0 0 0 0 0 -1
normalized size 1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04
time (sec) N/A 0.019 10.942 0.904 0.000 0.475 0.000 0.000 0.000




















Problem 31 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A A F B F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 402 402 379 0 2400 0 0 0 -1
normalized size 1 1.00 0.94 0.00 5.97 0.00 0.00 0.00 -0.00
time (sec) N/A 0.610 3.668 1.500 1.266 0.599 0.000 0.000 0.000




















Problem 32 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A A F B F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 274 274 365 0 1282 0 0 0 -1
normalized size 1 1.00 1.33 0.00 4.68 0.00 0.00 0.00 -0.00
time (sec) N/A 0.469 2.322 1.391 1.125 0.610 0.000 0.000 0.000




















Problem 33 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A B F B A F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 119 119 308 0 498 196 0 0 -1
normalized size 1 1.00 2.59 0.00 4.18 1.65 0.00 0.00 -0.01
time (sec) N/A 0.177 6.335 1.226 1.289 0.590 0.000 0.000 0.000




















Problem 34 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade N/A A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD TBD
size 23 0 0 0 0 0 0 0 -1
normalized size 1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04
time (sec) N/A 0.022 23.123 1.383 0.000 0.468 0.000 0.000 0.000




















Problem 35 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade N/A A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD TBD
size 23 0 0 0 0 0 0 0 -1
normalized size 1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04
time (sec) N/A 0.023 8.635 1.440 0.000 0.465 0.000 0.000 0.000




















Problem 36 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A A F B F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 460 460 401 0 1129 0 0 0 -1
normalized size 1 1.00 0.87 0.00 2.45 0.00 0.00 0.00 -0.00
time (sec) N/A 0.574 1.976 1.104 1.420 0.497 0.000 0.000 0.000




















Problem 37 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A A F B F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 344 344 308 0 810 0 0 0 -1
normalized size 1 1.00 0.90 0.00 2.35 0.00 0.00 0.00 -0.00
time (sec) N/A 0.453 1.504 1.036 1.075 0.582 0.000 0.000 0.000




















Problem 38 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A A F B F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 234 234 213 0 553 0 0 0 -1
normalized size 1 1.00 0.91 0.00 2.36 0.00 0.00 0.00 -0.00
time (sec) N/A 0.337 1.283 1.029 1.016 0.456 0.000 0.000 0.000




















Problem 39 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A A F B B F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 119 119 111 0 264 540 0 0 -1
normalized size 1 1.00 0.93 0.00 2.22 4.54 0.00 0.00 -0.01
time (sec) N/A 0.175 0.258 0.965 0.736 0.604 0.000 0.000 0.000




















Problem 40 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade N/A A A A F(-1) A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD TBD
size 23 0 0 0 0 0 0 0 -1
normalized size 1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04
time (sec) N/A 0.025 11.365 1.024 0.000 0.544 0.000 0.000 0.000




















Problem 41 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade N/A A A A F(-1) A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD TBD
size 23 0 0 0 0 0 0 0 -1
normalized size 1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04
time (sec) N/A 0.025 12.186 1.027 0.000 0.611 0.000 0.000 0.000




















Problem 42 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A A F B F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 1147 1147 816 0 4349 0 0 0 -1
normalized size 1 1.00 0.71 0.00 3.79 0.00 0.00 0.00 -0.00
time (sec) N/A 2.249 6.109 1.303 3.443 0.554 0.000 0.000 0.000




















Problem 43 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A A F B F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 787 787 633 0 2484 0 0 0 -1
normalized size 1 1.00 0.80 0.00 3.16 0.00 0.00 0.00 -0.00
time (sec) N/A 1.711 4.520 1.311 2.312 0.549 0.000 0.000 0.000




















Problem 44 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A B F B B F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 204 204 772 0 1003 834 0 0 -1
normalized size 1 1.00 3.78 0.00 4.92 4.09 0.00 0.00 -0.00
time (sec) N/A 0.255 6.593 1.271 1.439 0.696 0.000 0.000 0.000




















Problem 45 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade N/A A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD TBD
size 23 0 0 0 0 0 0 0 -1
normalized size 1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04
time (sec) N/A 0.026 46.829 1.290 0.000 0.541 0.000 0.000 0.000




















Problem 46 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade N/A A A A F(-2) A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD TBD
size 23 0 0 0 0 0 0 0 -1
normalized size 1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04
time (sec) N/A 0.026 21.161 1.304 0.000 0.621 0.000 0.000 0.000




















Problem 47 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A A F B F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 287 287 287 0 1119 0 0 0 -1
normalized size 1 1.00 1.00 0.00 3.90 0.00 0.00 0.00 -0.00
time (sec) N/A 0.402 0.134 0.824 1.160 0.481 0.000 0.000 0.000




















Problem 48 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A A F B F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 203 203 203 0 618 0 0 0 -1
normalized size 1 1.00 1.00 0.00 3.04 0.00 0.00 0.00 -0.00
time (sec) N/A 0.271 0.044 0.839 1.230 0.483 0.000 0.000 0.000




















Problem 49 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A A F F C F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 98 98 98 0 0 249 0 0 -1
normalized size 1 1.00 1.00 0.00 0.00 2.54 0.00 0.00 -0.01
time (sec) N/A 0.164 0.031 0.763 0.000 0.678 0.000 0.000 0.000




















Problem 50 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade N/A A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD TBD
size 24 0 0 0 0 0 0 0 -1
normalized size 1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04
time (sec) N/A 0.017 2.690 0.816 0.000 0.519 0.000 0.000 0.000




















Problem 51 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade N/A A A A F(-1) A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD TBD
size 26 0 0 0 0 0 0 0 -1
normalized size 1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04
time (sec) N/A 0.020 4.940 0.907 0.000 0.521 0.000 0.000 0.000




















Problem 52 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A A F B F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 597 597 599 0 4673 0 0 0 -1
normalized size 1 1.00 1.00 0.00 7.83 0.00 0.00 0.00 -0.00
time (sec) N/A 0.833 4.889 1.424 2.161 0.482 0.000 0.000 0.000




















Problem 53 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A A F B F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 408 408 383 0 2402 0 0 0 -1
normalized size 1 1.00 0.94 0.00 5.89 0.00 0.00 0.00 -0.00
time (sec) N/A 0.575 3.474 1.284 1.437 0.498 0.000 0.000 0.000




















Problem 54 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A A F F C F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 206 206 185 0 0 318 0 0 -1
normalized size 1 1.00 0.90 0.00 0.00 1.54 0.00 0.00 -0.00
time (sec) N/A 0.355 2.135 1.289 0.000 0.564 0.000 0.000 0.000




















Problem 55 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade N/A A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD TBD
size 23 0 0 0 0 0 0 0 -1
normalized size 1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04
time (sec) N/A 0.022 17.937 1.322 0.000 0.465 0.000 0.000 0.000




















Problem 56 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade N/A A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD TBD
size 23 0 0 0 0 0 0 0 -1
normalized size 1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04
time (sec) N/A 0.023 8.805 1.457 0.000 0.563 0.000 0.000 0.000




















Problem 57 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A A F B F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 511 511 451 0 1310 0 0 0 -1
normalized size 1 1.00 0.88 0.00 2.56 0.00 0.00 0.00 -0.00
time (sec) N/A 0.593 2.136 1.015 1.358 0.455 0.000 0.000 0.000




















Problem 58 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A A F B F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 352 352 310 0 810 0 0 0 -1
normalized size 1 1.00 0.88 0.00 2.30 0.00 0.00 0.00 -0.00
time (sec) N/A 0.414 1.382 1.026 1.319 0.450 0.000 0.000 0.000




















Problem 59 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A A F B C F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 176 176 165 0 444 750 0 0 -1
normalized size 1 1.00 0.94 0.00 2.52 4.26 0.00 0.00 -0.01
time (sec) N/A 0.277 1.017 1.015 1.094 0.578 0.000 0.000 0.000




















Problem 60 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade N/A A A A F(-1) A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD TBD
size 23 0 0 0 0 0 0 0 -1
normalized size 1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04
time (sec) N/A 0.025 10.920 1.006 0.000 0.582 0.000 0.000 0.000




















Problem 61 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade N/A A A A F(-1) A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD TBD
size 23 0 0 0 0 0 0 0 -1
normalized size 1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04
time (sec) N/A 0.026 8.512 1.014 0.000 0.499 0.000 0.000 0.000




















Problem 62 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A A F B F F(-2) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 1691 1691 1136 0 8147 0 0 0 -1
normalized size 1 1.00 0.67 0.00 4.82 0.00 0.00 0.00 -0.00
time (sec) N/A 2.889 5.737 1.331 5.429 0.582 0.000 0.000 0.000




















Problem 63 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A A F B F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 1155 1155 820 0 4350 0 0 0 -1
normalized size 1 1.00 0.71 0.00 3.77 0.00 0.00 0.00 -0.00
time (sec) N/A 2.083 5.985 1.269 3.383 0.582 0.000 0.000 0.000




















Problem 64 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A A F B C F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 610 610 538 0 1746 1191 0 0 -1
normalized size 1 1.00 0.88 0.00 2.86 1.95 0.00 0.00 -0.00
time (sec) N/A 1.403 3.876 1.272 2.166 0.539 0.000 0.000 0.000




















Problem 65 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade N/A A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD TBD
size 23 0 0 0 0 0 0 0 -1
normalized size 1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04
time (sec) N/A 0.024 39.960 1.234 0.000 0.649 0.000 0.000 0.000




















Problem 66 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade N/A A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD TBD
size 23 0 0 0 0 0 0 0 -1
normalized size 1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04
time (sec) N/A 0.025 32.050 1.240 0.000 0.552 0.000 0.000 0.000










2.3 Detailed conclusion table specific for Rubi results

The following table is specific to Rubi. It gives additional statistics for each integral. the column steps is the number of steps used by Rubi to obtain the antiderivative. The rules column is the number of unique rules used. The integrand size column is the leaf size of the integrand. Finally the ratio \(\frac {\text {number of rules}}{\text {integrand size}}\) is given. The larger this ratio is, the harder the integral was to solve. In this test, problem number [54] had the largest ratio of [.6875]

Table 2.1:Rubi specific breakdown of results for each integral














# grade
number of
steps
used
number of
unique
rules
normalized
antiderivative
leaf size
integrand
leaf size
\(\frac {\text {number of rules}}{\text {integrand leaf size}}\)







1 A 7 6 1.00 16 0.375







2 A 0 0 0.00 0 0.000







3 A 4 3 1.00 14 0.214







4 A 0 0 0.00 0 0.000







5 A 0 0 0.00 0 0.000







6 A 0 0 0.00 0 0.000







7 A 10 9 1.00 18 0.500







8 A 0 0 0.00 0 0.000







9 A 3 3 1.00 16 0.188







10 A 0 0 0.00 0 0.000







11 A 0 0 0.00 0 0.000







12 A 0 0 0.00 0 0.000







13 A 5 5 1.00 18 0.278







14 A 0 0 0.00 0 0.000







15 A 3 3 1.00 16 0.188







16 A 0 0 0.00 0 0.000







17 A 0 0 0.00 0 0.000







18 A 0 0 0.00 0 0.000







19 A 6 6 1.00 18 0.333







20 A 0 0 0.00 0 0.000







21 A 4 4 1.00 16 0.250







22 A 0 0 0.00 0 0.000







23 A 0 0 0.00 0 0.000







24 A 0 0 0.00 0 0.000







25 A 13 8 1.00 18 0.444







26 A 11 8 1.00 18 0.444







27 A 9 8 1.00 16 0.500







28 A 6 5 1.00 14 0.357







29 A 0 0 0.00 0 0.000







30 A 0 0 0.00 0 0.000







31 A 20 10 1.00 20 0.500







32 A 16 10 1.00 18 0.556







33 A 10 9 1.00 16 0.562







34 A 0 0 0.00 0 0.000







35 A 0 0 0.00 0 0.000







36 A 11 7 1.00 20 0.350







37 A 9 7 1.00 20 0.350







38 A 7 7 1.00 18 0.389







39 A 5 5 1.00 16 0.312







40 A 0 0 0.00 0 0.000







41 A 0 0 0.00 0 0.000







42 A 28 10 1.00 20 0.500







43 A 22 10 1.00 18 0.556







44 A 6 6 1.00 16 0.375







45 A 0 0 0.00 0 0.000







46 A 0 0 0.00 0 0.000







47 A 14 8 1.00 18 0.444







48 A 11 8 1.00 16 0.500







49 A 7 6 1.00 14 0.429







50 A 0 0 0.00 0 0.000







51 A 0 0 0.00 0 0.000







52 A 26 10 1.00 20 0.500







53 A 20 10 1.00 18 0.556







54 A 14 11 1.00 16 0.688







55 A 0 0 0.00 0 0.000







56 A 0 0 0.00 0 0.000







57 A 12 7 1.00 20 0.350







58 A 9 7 1.00 18 0.389







59 A 6 6 1.00 16 0.375







60 A 0 0 0.00 0 0.000







61 A 0 0 0.00 0 0.000







62 A 37 10 1.00 20 0.500







63 A 28 10 1.00 18 0.556







64 A 19 11 1.00 16 0.688







65 A 0 0 0.00 0 0.000







66 A 0 0 0.00 0 0.000